непосредственное умозаключение в рамках формализма традиционной логики (См. Логика); применяется обычно совместно с Обращением суждений. П. состоит в изменении качества посылки (См. Посылка) и одновременном замещении термина Предиката на термин ему противоположный, Пример: "Книга новая, следовательно, она не старая". Семантической основой П. служит Дихотомическое деление признаков, а логической основой - исключенного третьего принцип (См. Исключённого третьего принцип) и законы двойного отрицания. Для т. н. "категорических" силлогистических посылок правила П. суть следующие: из истинности "Все (или некоторые) S суть Р" следует истинность "Никакие (или некоторые) S не суть не-Р", и наоборот; из истинности "Никакие (или некоторые) S не суть Р" следует истинность "Все (или некоторые) S суть не-Р", и наоборот.

Как и др. виды непосредственных умозаключений, П. пользовалось особым вниманием средневековых философов, занимавшихся логико-грамматическим анализом места отрицания в предложении в связи с вопросом о равносильности высказываний. В формализме математической логики П. самостоятельного значения не имеет. Это, однако, не умаляет его полезности для практики содержательного мышления. В частности, П. используется (обычно неявно) в "языке исследователя" при переводе традиционного символизма категорических суждений на символический язык современной логики предикатов (См. Логика предикатов).

Лит.: Логика, М., 1956, с. 130-31.

М. М. Новосёлов.